退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:从消解的逻辑到礼物的逻辑:走向一种特殊的语言复兴的非殖民主义理论
Geiger William A.;
机译:使用基于特征的描述逻辑以避免对象关系查询语言中的重复消除
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:无上下文的语言,组,端点理论,二阶逻辑,平铺问题,元胞自动机和向量加法系统
机译:一种新的抽象逻辑编程语言及其拆除逻辑编程的综合消除方法
机译:具有相关排序(FOLDS)的一阶逻辑的最终语言和最终语言的基本模型理论。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:一种新的抽象逻辑程序设计语言及其析取逻辑规划的量化消除方法
机译:您将使用带有逻辑和逻辑分析方法的语法逻辑控制器的语言来分析电路设备
机译:用编程语言从逻辑电路描述生成逻辑电路的装置和方法
机译:在编程语言中从逻辑电路描述生成逻辑电路的装置和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。